Bourne on Future Contingents and Three-valued Logic

Bourne on Future Contingents and Three - valued Logic ∗ Daisuke Kachi

Recently, Bourne constructed a system of three-valued logic that he supposed to replace à Lukasiewicz’s three-valued logic in view of the problems of future contingents. In this paper, I will show first that Bourne’s system makes no improvement to à Lukasiewicz’s system. However, finding some good motivations and lessons in his attempt, next I will suggest a better way of achieving his original...

Three-valued Logic and Future Contingents

Your use of the JSTOR archive indicates your acceptance of JSTOR's Terms and Conditions of Use, available at http://www.jstor.org/page/info/about/policies/terms.jsp. JSTOR's Terms and Conditions of Use provides, in part, that unless you have obtained prior permission, you may not download an entire issue of a journal or multiple copies of articles, and you may use content in the JSTOR archive o...

DOMINO: Trivalent Logic Semantics in Bivalent Syntax Clothes

The paper describes a rather general software mechanism developed primarily for decision making in dynamic and uncertain environments (typical application: managing overbooking). DOMINO (Decision-Oriented Mechanism for "IF" as Non-deterministic Operator) is meant to deal with undecidability due to any kind of future contingents. Its description here is self-contained but, since a validation is ...

A Dynamic Solution to the Puzzle of Sea Battle

The puzzle of sea battle involves an argument that is an instantiation of reasoning by cases. Its premises include the conditionals “if there is a/no sea battle tomorrow, it is necessarily so”. It has a fatalistic conclusion. Two readings of necessity can be distinguished: absolute and relative necessity. The conditionals are valid for the latter reading. By the restrictor view of “if” in lingu...

Partial and paraconsistent approaches to future contingents in tense logic